رفع مشکل انفجار فضای حالت در وارسی سیستم های تبدیل گراف با الگوریتم ژنتیک
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده مهندسی کامپیوتر
- author رزا یوسفیان
- adviser وحید رافع محسن رحمانی رضا رافع
- Number of pages: First 15 pages
- publication year 1381
abstract
بمنظور تولید سیستم های ایمنی-بحرانی ، استفاده از روشهای رسمی یک روش کارآمد و موثر در این زمینه می باشد. سیستم های تبدیل گراف نیزیکی از پرکاربردترین آنها در توصیف مدل ها است. یکی از موانع بر سر راه وارسی مدل ، مشکل انفجار فضای حالت است. این موضوع باعث شده است که استفاده از سیستم های تبدیل گراف، کارایی خود را در حل مسائلی که دارای فضای حالت گسترده ای هستند، از دست بدهند. لذا هدف از انجام این تحقیق، ارائه راهکاری جهت حل مشکل انفجار فضای حالت در سیستم های تبدیل گراف به منظور وارسی مدل می باشد. در روش ارائه شده با استفاده از الگوریتم ژنتیک فضای حالت مسئله را به نحوی هدایت می کنیم تا از تولید کامل فضای حالت جلوگیری شود. با استفاده از این روش می توان بن بست را در مدل هایی که سیستم های تبدیل گراف، قادر به بررسی آنها نمی باشد، کشف کرد. الگوریتم مورد نظر در groove، که ابزاری برای وارسی مدل مبتنی بر تبدیل گراف می باشد، پیاده سازی شده است. همچنین در عین حال که این روش مشکل مزبور را حل می کند، برای بهینه سازی و افزایش کارایی در وارسی مدل هایی که دارای فضای حالت بسیار گسترده و پیچیده می باشند، از روش پردازش چند نخی نیز استفاده شده است. با استفاده از این تکنیک، می توان کاهش چشمگیری در مدت زمان وارسی مدل ایجاد کرد.
similar resources
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستم های تبدیل گراف با استفاده از الگوریتم های پرندگان و جستجوی گرانشی
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...
full textارائه راهکاری برای مقابله با مشکل انفجار فضای حالت در وارسی سیستم های تبدیل گراف با استفاده از الگوریتم های تکاملی
وارسی مدل ، یک روش کاملا خودکار و راهکاری مناسب به منظور بررسی و درستی یابی سیستم های نرم افزاری ایمنی-بحرانی پیش از تولید آنهاست. در اینگونه از سیستم ها نمی توان ریسک بروز خطا را حتی برای یک بار پذیرفت. سیستمهای تبدیل گراف ، نمونه ای از پرکاربردترین سیستم های مدلسازی رسمی و نیز راهکاری مناسب به منظور مدلسازی و وارسی سیستم های پیچیده هستند که با بهره گیری از ویژگی گرافیکی بودن، به نحو شایسته ای...
ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم‌های پرندگان و جستجوی گرانشی
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی‌یابی سیستمهای نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستمهای تبدیل گراف، از پرکاربردترین سیستمهای مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستمهای پیچیده هستند. اما این سیستم‌ها در فرآی...
full textوارسی مدل سیستم های تبدیل گراف زمان دار
سیستم های تبدیل گراف زمان دار برای مدل کردن سیستم هایی بکار می رود که زمان نقش اساسی را در آنها بازی می کند. ایده سیستم های تبدیل گراف زمان دار توسط «سیلویا گیاپای» و همکارانش مطرح شد. آنها روشی را برای وارسی این سیستم ها بیان نکرده و تنها به تعدادی مفاهیم اکتفا کردند. وارسی این سیستم ها با روش پیشنهادی این افراد و با استفاده از ابزارهای موجود مشکل خاصی دارد. این مشکل را با ارائه ی مثالی در نرم...
15 صفحه اولاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
full textاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده مهندسی کامپیوتر
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023